<?php

function to_json($arr)
{
	return json_encode($arr);
}
